<?php echo $menu;?>